proof of program
英 [pruːf ɒv ˈprəʊɡræm]
美 [pruːf əv ˈproʊɡræm]
【计】程序证明
双语例句
- A Developing Method of Programs Based on the Proof Theory of Program Correctness
一种基于程序正确性证明理论的程序开发方法 - Proof through the state predicates can reflect the state of program execution.
根据状态谓词进行证明，能够反映出程序执行的状态。 - This paper presented a new method of the proof of program correctness based on syntax trees.
提出了一种新的基于语法树的程序正确性验证方法（STM方法）。 - Method of Processing Proof Strength of Non-Proportional by Computer Program
规定非比例延伸强度计算机处理方法 - Proof of Correctness of Program
程序的正确性证明 - The proof of program and design of the chamber can be made by the method of combining physical test with computer simulation.
采用物理试验与计算机模拟相结合的方法进行方案论证和技术设计。 - Proof of program correctness and a method of getting loop invariant
程序正确性证明及循环不变式的寻找方法 - Practice was full proof that, by means of establishing micro tension controlling program in within middle rolling mill group, the some problems that have arisen in production line of bar could be nicely solved.
实践证明，在中轧机组增设微张力控制环节能够有效的解决现场出现的问题。 - The analysis results sufficiently proof both reliability of the method and correctness of the program.
计算结果与影响因素分析充分证明无网格算法的可靠性和所编制程序的正确性，在理论上和应用上都具有一定的价值。 - Proof of program correctness based on syntax trees
基于语法树和程序正确性验证研究